$\forall$$A$:Type.  \{0..0$^{-}$\}$\rightarrow$$A$ $\sim$ \{0..1$^{-}$\}